Local Transformations and Robust Dependent Path Delay Faults Institut F Ur Informatik | Report 81 *
نویسندگان
چکیده
Local transformations are used in several synthesis approaches. During application of such transformations attention has to be paid to many important properties, e.g. area, speed, power consumption, and testability. In this paper we study relations between local transformations and delay fault testability. In delay testing it is not necessary to test every path in a circuit to ascertain correct timing behavior. For example, a set of robust dependent path delay faults need not be considered for testing if all paths that are not robust dependent are tested. We present suucient conditions for local transformations which ensure that a test set for all non-robust-dependent paths in the original circuit is also a test set for all non-robust-dependent paths in the transformed circuit. These conditions are applied to some local transformations which are often used in logic synthesis and it is shown that they preserve testability. The impact of local transformations on robust dependent testability is demonstrated by experimental results performed on benchmark circuits.
منابع مشابه
Charakterisierung der Farbeigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms
Max-Planck-Institut f ur extraterrestrische Physik, Garching Department of Electrical Engineering, University of Sydney Institut f ur medizinische Statistik und Epidemiologie, TU M unchen Klinik und Poliklinik f ur Dermatologie der Universit at Regensburg Fachbereich Informatik/Mathematik, Fachhochschule M unchen Lehrstuhl f ur Theoretische Informatik und Grundlagen der KI, TU M unchen ...
متن کاملBeyond Asymmetric Choice: A note on some extensions
1 Eindhoven University of Technology, Department of Mathematics and Computing Science P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands, email: [email protected] 2 Humboldt-Universitat zu Berlin, Institut f ur Informatik Unter den Linden 6, D-10099 Berlin, Germany, email: [email protected] 3 Universitat Karlsruhe, Institut f ur Angewandte Informatik & Formale Beschreibungsve...
متن کاملInstitut F Ur Informatik Lehr-und Forschungseinheit F Ur Programmier-und Modellierungssprachen Oettingenstraae 67, D{80538 M Unchen Problem Solving with Model-generation Approaches Based on Puhr Tableaux in Proc. Problem-solving Methodologies with Automated Deduction, Workshop at Cade '98
متن کامل
Delay-dependent stability for transparent bilateral teleoperation system: an LMI approach
There are two significant goals in teleoperation systems: Stability and performance. This paper introduces an LMI-based robust control method for bilateral transparent teleoperation systems in presence of model mismatch. The uncertainties in time delay in communication channel, task environment and model parameters of master-slave systems is called model mismatch. The time delay in communicatio...
متن کامل